1. Abstract State Machines, Alloy, B, VDM, and Z
پدیدآورنده : / John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
2. Logic for computer science /
پدیدآورنده : Steve Reeves, Michael Clarke
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R34
1990
3. Logic for computer science
پدیدآورنده : Reeves, Steve
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic, symbolic and mathematical
رده :
QA
9
.
R34
1990
